Frank de Boer and Vladimir Mencl September 2006
نویسندگان
چکیده
This compendium consists of the papers presented at the FACS’06 workshop. This compendium is the preliminary proceedings for the workshop for the convenience of the workshop participants; the official proceedings will be published after the workshop in the Electronic Notes on Theoretical Computer Science.
منابع مشابه
Inductive Proof Outlines for Exceptions in Multithreaded Java
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage.
متن کاملη-pairing as a mechanism of superconductivity in models of strongly correlated electrons
Jan de Boer∗, Vladimir E. Korepin† and Andreas Schadschneider‡ Institute for Theoretical Physics State University of New York at Stony Brook Stony Brook, NY 11794-3840, U.S.A. (Dated: June 28, 2009) Abstract We consider extended versions of the Hubbard model which contain additional interactions between nearest neighbours. In this letter we show that a large class of these models has a supercon...
متن کامل